formal semantics的例句大全

However, its lack of rigor and formal semantics prevents it further developing.

但uml没有精确的、形式化的语义阻碍了它的进一步发展.

UML contains different kinds of views, semiformal semantics of mata model and formal constraints to the elements of design.

它为设计人员提供了各种各样的视图、半形式化的元模型语义、对设计元素的形式化逻辑约束。

In order to inquiry into function dependency in data base, the formal definition and semantics of dependency of knowledge are also discussed in the paper.

为了研究数据库中的函数依赖性，我们还将介绍数据的依赖性的形式化定义及依赖性的语义因素等。

A Formal Semantics of Agent Organization Structure Design

Agent组织结构设计的一种形式语义

On Interactive Model of Web Services Base on Formal Semantics

基于形式语义的Web服务交互模型

The History and Framework of Formal Semantics

形式语义学的历史渊源和理论框架

Multi-paradigm Based Instruction Assistant System for Formal Semantics Course

基于多语言范例的形式语义学教学辅助系统

Ontology, by way of formal specification of share concepts, provides a method to resolve the semantic heterogeneous, since it can be used to express the semantics of data sources, identify and construct the semantic relationship of the concepts, compass the semantic consistency.

本体作为共享概念的形式化说明，用于表达数据源的语义、识别和建立概念间的语义关联、达成语义一致，提供了语义异构问题的解决途径。

ADLs ( Architecture Description Language) are formal semantics-based languages supporting for describing and analyzing software architecture. The research on ADLs has become a hotspot of software engineering.

软件体系结构描述语言ADL（architecture description language，ADL）具有严格的形式化语义基础，为软件体系结构的表示与分析提供支持，已成为软件工程研究领域的热点。

This paper proposes a new simple trace semantics that can be used to specify security properties, this technique supports a protocol designer to provide formal analysis of the security properties.

本文提出了一种新的简单的迹语义，用于刻画协议部分安全性质，即只针对协议规约的单个主体，此技术支持协议设计者对安全性质进行形式化规约。

Formal Analysis for Network Security Protocols Based on Trace Semantics

基于迹语义的网络安全协议形式化分析

As a standard object-oriented modeling language, UKL ( unified modeling language) is lack of formal dynamic semantics.

面向对象标准建模语言UML（Unified MOdeling Language）缺乏精确的动态语义。

This provides a rigorous dynamic semantics for the model and a formal basis for its enactment and analysis.

这为模型提供了明确的动态语义，为其运作和分析提供了形式化基础。

Operational semantics and denotational semantics are two type of formal semantics.

其中操作语义学和指称语义学是形式语义学的两大类别。

It indicated that the basic research should mostly include the development of ontology, the formal semantics of Semantic Web language and the development of Trust and Proof model.

总结了未来语义Web基础研究和应用研究的方向：语义Web的基础研究主要包括本体的发展、语义Web语言的形式语义和确信（Trust）与证据（Proof）模型的开发；

Formal specification languages Z and Object-Z have used to describe the semantics of programming language.

形式化规范语言Z和Object-Z已经用于描述程序语言语义。

Bayesian probability framework is a theory to transfer a priori probability to posterior probability. This thesis provides a formal Bayesian framework for image classification problems, which maps the low-level image features to the intrinsic high-level semantics.

贝叶斯概率框架是一种将先验概率转化为后验概率的理论框架，通过形式化的图像分类概率框架可以将低级图像特征映射到已有的高层语义。

As a formal development tool, Petri net has strict mathematical semantics and can be used to analyze and validate a system conveniently to address the problems of lacking of formal description and validation in object-oriented technology.

Petri网作为一种形式化的开发工具，具有严格的数学语义，可以方便的对系统进行分析和验证，以解决面向对象技术缺乏形式化的描述和分析验证问题。

In the end, a set of Plotkin-style structural operational semantics ( SOS) rules inductively defines a compositional formal semantics for UML state machine.

最后，用Plotkin风格的结构操作语义SOS（structural operational semantics）规则归纳地给出满足组合性的UML状态机语义。